(declare-fun a () Int)
(declare-fun b () Int)
(declare-fun c () Int)
(declare-fun d () Int)
(declare-fun f () Int)
(declare-fun e () Int)
(declare-fun g () Int)
(assert (or (and (let ((?h (<= 0 e))(?i (<= e f))(?j (< f d))) (and ?h ?i ?j))) (forall ((?k Int)) (= 0 ?k))))
(assert (= g (div a c)))
(assert (= d (div b g)))
(assert (= g (div b d)))
(check-sat)
